package IHM_Application;


import java.io.File;
import java.util.Hashtable;
import java.util.Enumeration;
import javax.swing.filechooser.*;

/** Implementation pratique de FileFilter filtrant tout les
* @author Jeff Dinkins
*/
public class FileMasque extends FileFilter
{
        private static String TYPE_UNKNOWN = "Type Unknown";
        private static String HIDDEN_FILE = "Hidden File";
        private Hashtable filters = null;
        private String description = null;
        private String fullDescription = null;
        private boolean useExtensionsInDescription = true;
    /**
* Cree un filtre fichier. Si aucun filtre n'est ajouter,
* affiche tous les fichiers sans restriction.
*
* @see #addExtension
*/
    public FileMasque()
    {
        this.filters = new Hashtable();
    }
    /**
* Cree un filtre fichier filtrant tout les fichier dont l'extention
* n'est pas specifiee.
* Example: new ExampleFileFilter("jpg");
*
* @see #addExtension
*/
    public FileMasque(String extension)
    {
        this(extension,null);
    }
    /**
* Creates a file filter that accepts the given file type.
* Example: new ExampleFileFilter("jpg", "JPEG Image Images");
*
* Note that the "." before the extension is not needed. If
* provided, it will be ignored.
*
* @see #addExtension
*/
    public FileMasque(String extension, String description)
    {
        this();
        if(extension!=null) addExtension(extension);
         if(description!=null) setDescription(description);
    }
    /**
* Creates a file filter from the given string array.
* Example: new ExampleFileFilter(String {"gif", "jpg"});
*
* Note that the "." before the extension is not needed adn
* will be ignored.
*
* @see #addExtension
*/
    public FileMasque(String[] filters)
    {
        this(filters, null);
    }
    /**
* Cree un filtre fichier a partir du tableau de String donne et de la description.
* Example: new ExampleFileFilter(String {"gif", "jpg"}, "Gif and JPG Images");
*
* Noter que le "." avant l'extention n'est pas requis et sera ignoré.
*
* @see #addExtension
*/
    public FileMasque(String[] filters, String description)
    {
        this();
        for (int i = 0; i < filters.length; i++)
        {
         addExtension(filters[i]);// Ajoute les filtres un a un
        }
         if(description!=null) setDescription(description);
    }
    /**
* Retourne true si le fichier doit etre montre dans le repertoire,
* false s'il ne doit pas l'etre.
*
* Les fichier commencant par "." sont ignores.
*
* @see #getExtension
* @see FileFilter#accepts
*/
    public boolean accept(File f)
    {
        if(f != null)
        {
         if(f.isDirectory())
         {
                return true;
         }
         String extension = getExtension(f);
         if(extension != null && filters.get(getExtension(f)) != null)
         {
                return true;
         };
        }
        return false;
    }
    /**
* Retourne l'extention du nom du fichier.
*
* @see #getExtension
* @see FileFilter#accept
*/
     public String getExtension(File f)
     {
        if(f != null)
        {
         String filename = f.getName();
         int i = filename.lastIndexOf('.');
         if(i>0 && i<filename.length()-1)
         {
                return filename.substring(i+1).toLowerCase();
         };
        }
        return null;
    }
    /**
* Adds a filetype "dot" extension to filter against.
*
* Par example: le code suivant crera un filtre qui filtrera
* tout les fichier a l'exception des ".jpg" et ".tif":
*
* FileMasque filter = new FileMasque();
* filter.addExtension("jpg");
* filter.addExtension("tif");
*
* Noter que le "." avant les extention n'est pas requis et sera ignore.
*/
    public void addExtension(String extension)
    {
        if(filters == null)
        {
         filters = new Hashtable(5);
        }
        filters.put(extension.toLowerCase(), this);
        fullDescription = null;
    }
    /**
* Retourne une representation humainement lisible de la description de ce filtre. Par
* example: "JPEG and GIF Image Files (*.jpg, *.gif)"
*
* @see setDescription
* @see setExtensionListInDescription
* @see isExtensionListInDescription
* @see FileFilter#getDescription
*/
    public String getDescription()
    {
        if(fullDescription == null)
        {
         if(description == null || isExtensionListInDescription())
         {
                 fullDescription = description==null ? "(" : description + " (";    // Construit la description a partir des extentions.
                Enumeration extensions = filters.keys();
                if(extensions != null)
                {
                 fullDescription += "." + (String) extensions.nextElement();
                 while (extensions.hasMoreElements())
                 {
                        fullDescription += ", ." + (String) extensions.nextElement();
                 }
                }
                fullDescription += ")";
         }
         else
         {
                fullDescription = description;
         }
        }
        return fullDescription;
    }
    /**
* Definit la description du filtre. Par
* example: filter.setDescription("Gif and JPG Images");
*
* @see setDescription
* @see setExtensionListInDescription
* @see isExtensionListInDescription
*/
    public void setDescription(String description)
    {
        this.description = description;
        fullDescription = null;
    }
    /**
* Determine quelque soit la liste d'extension (.jpg, .gif, etc) s'il
* doit afficher la description des filtres.
*
* N'est approprie que si la description a ete donee dans le constructeur
* ou par l'utilisation de setDescription();
*
* @see getDescription
* @see setDescription
* @see isExtensionListInDescription
*/
    public void setExtensionListInDescription(boolean b)
    {
        useExtensionsInDescription = b;
        fullDescription = null;
    }
    /**
* Retourne quelque soit la liste d'extension (.jpg, .gif, etc) s'il
* doit afficher la description des filtres.
*
* N'est approprie que si la description a ete donee dans le constructeur
* ou par l'utilisation de setDescription();
*
* @see getDescription
* @see setDescription
* @see setExtensionListInDescription
*/
    public boolean isExtensionListInDescription()
    {
        return useExtensionsInDescription;
    }
}
 